École normale supérieure

Results: 277



#Item
1Computing / Theoretical computer science / Software engineering / Computer science / Formal methods / Logic in computer science / Functional languages / Formal verification / Xavier Leroy / Computer security / Coq / French Institute for Research in Computer Science and Automation

École Normale Supérieure Mémoire d’habilitation à diriger des recherches Specialité Informatique The Quest for Formally Secure Compartmentalizing Compilation

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2018-10-11 15:04:00
2

FIMFA – École normale supérieure de Parismai 2011 Examen Algèbre 2 Responsable : Mr O. DEBARRE

Add to Reading List

Source URL: www.math.ens.fr

Language: French - Date: 2011-09-06 14:51:17
    3

    Olivier Debarre ALGÈBRE 2 ÉCOLE NORMALE SUPÉRIEURE 2012–2013

    Add to Reading List

    Source URL: www.math.ens.fr

    Language: French - Date: 2014-02-20 05:16:29
      4Cryptography / NIST hash function competition / Cryptographic hash functions / MerkleDamgrd construction / SIMD / CubeHash / Hash function / SHA-3 / Block cipher

      Security Analysis of SIMD Charles Bouillaguet, Pierre-Alain Fouque, and Gaëtan Leurent École Normale Supérieure – Département d’Informatique, 45 rue d’Ulm, 75230 Paris Cedex 05, France {Charles.Bouillaguet,Gaet

      Add to Reading List

      Source URL: who.rocq.inria.fr

      Language: English - Date: 2018-06-14 07:12:39
      5Cryptography / Permutation / SIMD / Data Encryption Standard / Feistel cipher / Permutation polynomial / Block cipher

      Tweaking SIMD Gaëtan Leurent, Pierre-Alain Fouque, Charles Bouillaguet École Normale Supérieure – Département d’Informatique, 45 rue d’Ulm, 75230 Paris Cedex 05, France {Gaetan.Leurent,Pierre-Alain.France,Charl

      Add to Reading List

      Source URL: who.rocq.inria.fr

      Language: English - Date: 2018-06-14 07:12:39
      6

      Surfaces K3 Cours de M2 École normale supérieure Printemps 2018 Olivier Debarre

      Add to Reading List

      Source URL: www.math.ens.fr

      Language: French - Date: 2018-04-19 14:26:23
        7

        Curriculum vitæ Chitchanok Chuengsatiansup Informations Adresse : Laboratoire de l’Informatique du Parallélisme École Normale Supérieure de Lyon

        Add to Reading List

        Source URL: perso.ens-lyon.fr

        Language: French - Date: 2018-01-29 07:07:45
          8

          PhD-FSTCThe Faculty of Sciences, Technology and Communication Numéro d’enregistrement STEP : 79787 École Normale Supérieure

          Add to Reading List

          Source URL: tlepoint.github.io

          Language: French - Date: 2018-08-06 02:12:31
            9

            Jacques Lévy Né en 1952, Jacques Lévy est un géographe français, ancien élève de l’École normale supérieure de Cachan et professeur à l’École polytechnique fédérale de Lausanne (ÉPFL) depuisIl a

            Add to Reading List

            Source URL: www.fig.saint-die-des-vosges.fr

            Language: French - Date: 2018-06-11 05:05:49
              UPDATE